Jaco C. van de Pol: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Zero, successor and equality in BDDs

Bahareh Badban, Jaco van de Pol

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 902 KB

english, 2005

2

A State Space Distribution Policy Based on Abstract Interpretation

Simona Orzan, Jaco van de Pol, Miguel Valero Espada

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 277 KB

english, 2005

3

A Database Approach to Distributed State Space Generation

Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 374 KB

english, 2008

4

An Abstract Interpretation Toolkit for μCRL

Jaco van de Pol, Miguel Valero Espada

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 361 KB

english, 2005

5

Preface

Judi Romijn, Graeme Smith, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 100 KB

english, 2007

6

Improved Distributed Algorithms for SCC Decomposition

Jiří Barnat, Jakub Chaloupka, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 335 KB

english, 2008

7

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 346 KB

english, 2008

8

On the axiomatizability of priority II

Luca Aceto, Taolue Chen, Anna Ingolfsdottir, Bas Luttik, Jaco van de Pol

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 264 KB

english, 2011

9

Operational semantics of rewriting with priorities

Jaco van de Pol

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.51 MB

english, 1998

10

Just-in-time: On Strategy Annotations

Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 342 KB

english, 2001

11

Distribution of a simple shared dataspace architecture

Simona Orzan, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

12

Simulated time for host-based testing with TTCN-3

Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova

Journal:

Software Testing, Verification and Reliability

Year:

2008

Language:

english

File:

PDF, 716 KB

english, 2008

13

Which two-sorted algebras of booleans and naturals have a finite basis?

Wan Fokkink, Jaco van de Pol, Sujith Vijay

Journal:

Algebra Universalis

Year:

2005

Language:

english

File:

PDF, 210 KB

english, 2005

14

Verification of a sliding window protocol inμCRL and PVS

Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 387 KB

english, 2005

15

Introductory paper

Jaco van de Pol

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 75 KB

english, 2004

16

Introductory paper

Thomas Arts, Jaco van de Pol

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 226 KB

english, 2005

17

Solving scheduling problems by untimed model checking

Anton J. Wijs, Jaco C. van de Pol, Elena M. Bortnik

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 408 KB

english, 2009

18

Cones and foci: A mechanical framework for protocol verification

Wan Fokkink, Jun Pang, Jaco van de Pol

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 756 KB

english, 2006

19

An abstract interpretation toolkit forμCRL

Miguel Valero Espada, Jaco van de Pol

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 544 KB

english, 2007

20

Towards model checking executable UML specifications in mCRL2

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, MohammadReza Mousavi, Jaco van de Pol

Journal:

Innovations in Systems and Software Engineering

Year:

2010

Language:

english

File:

PDF, 466 KB

english, 2010

21

Preface

Martin Leucker, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 57 KB

english, 2006

22

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction

Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 458 KB

english, 2007

23

A Multi-Core Solver for Parity Games

Jaco van de Pol, Michael Weber

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 335 KB

english, 2008

24

Semantic models of a timed distributed dataspace architecture

Jozef Hooman, Jaco van de Pol

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 344 KB

english, 2005

25

A calculus for four-valued sequential logic

Jan A. Bergstra, Jaco van de Pol

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 228 KB

english, 2011

26

New developments around the μCRL tool set

Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 94 KB

english, 2003

27

Generalizing DPLL and satisfiability for equalities

Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 209 KB

english, 2007

28

A linear process-algebraic format with data for probabilistic automata

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 393 KB

english, 2012

29

A rewriting approach to binary decision diagrams

Hans Zantema, Jaco van de Pol

Journal:

The Journal of Logic and Algebraic Programming

Year:

2001

Language:

english

File:

PDF, 237 KB

english, 2001

30

[Lecture Notes in Computer Science] Formal Methods: Applications and Technology Volume 4346 || Heuristics for ioco-Based Test-Based Modelling

Brim, Luboš, Haverkort, Boudewijn, Leucker, Martin, van de Pol, Jaco

Year:

2007

Language:

english

File:

PDF, 239 KB

english, 2007

31

[Lecture Notes in Computer Science] Model Checking Software Volume 6349 || Context-Enhanced Directed Model Checking

van de Pol, Jaco, Weber, Michael

Year:

2010

Language:

english

File:

PDF, 292 KB

english, 2010

32

[Lecture Notes in Computer Science] Model Checking Software Volume 6349 || Automatic Generation of Model Checking Scripts Based on Environment Modeling

van de Pol, Jaco, Weber, Michael

Year:

2010

Language:

english

File:

PDF, 521 KB

english, 2010

33

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 3771 || Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus

Romijn, Judi, Smith, Graeme, van de Pol, Jaco

Year:

2005

Language:

english

File:

PDF, 734 KB

english, 2005

34

Biological networks 101: Computational modeling for molecular biologists

Scholma, Jetse, Schivo, Stefano, Urquidi Camacho, Ricardo A., van de Pol, Jaco, Karperien, Marcel, Post, Janine N.

Journal:

Year:

2014

Language:

english

File:

PDF, 2.17 MB

english, 2014

35

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 3771 || Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks

Romijn, Judi, Smith, Graeme, van de Pol, Jaco

Year:

2005

Language:

english

File:

PDF, 936 KB

english, 2005

36

Appointments

van Dijk, Tom, Laarman, Alfons, van de Pol, Jaco

Journal:

Year:

1946

Language:

english

File:

PDF, 180 KB

english, 1946

37

Multi-Core BDD Operations for Symbolic Reachability

van Dijk, Tom, Laarman, Alfons, van de Pol, Jaco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 300 KB

english, 2013

38

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges

Jaco van de Pol,Theo C. Ruys…

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 637 KB

english, 2014

39

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - From POOSL to UPPAAL: Transformation and Quantitative Analysis

Xing, Jiansheng, Theelen, B.D., Langerak, Rom, van de Pol, Jaco, Tretmans, Jan, Voeten, J.P.M.

Year:

2010

Language:

english

File:

PDF, 713 KB

english, 2010

40

Modeling Biological Pathway Dynamics With Timed Automata

Schivo, Stefano, Scholma, Jetse, Wanders, Brend, Camacho, Ricardo A. Urquidi, van der Vet, Paul E., Karperien, Marcel, Langerak, Rom, van de Pol, Jaco, Post, Janine N.

Journal:

IEEE Journal of Biomedical and Health Informatics

Year:

2014

Language:

english

File:

PDF, 772 KB

english, 2014

41

[IEEE 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE) - Larnaca, Cyprus (2012.11.11-2012.11.13)] 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE) - Modelling biological pathway dynamics with Timed Automata

Schivo, Stefano, Scholma, Jetse, Wanders, Brend, Camacho, Ricardo A. Urquidi, van der Vet, Paul E., Karperien, Marcel, Langerak, Rom, van de Pol, Jaco, Post, Janine N.

Year:

2012

Language:

english

File:

PDF, 551 KB

english, 2012

42

[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - PDL over Accelerated Labeled Transition Systems

Chen, Taolue, Pol, Jaco van de, Wang, Yanjing

Year:

2008

Language:

english

File:

PDF, 234 KB

english, 2008

43

Guard-based partial-order reduction

Laarman, Alfons, Pater, Elwin, van de Pol, Jaco, Hansen, Henri

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 652 KB

english, 2016

44

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 3771 || Agile Formal Method Engineering

Romijn, Judi, Smith, Graeme, van de Pol, Jaco

Year:

2005

Language:

english

File:

PDF, 289 KB

english, 2005

45

[Lecture Notes in Computer Science] Formal Methods: Applications and Technology Volume 4346 || Simulation-Based Performance Analysis of a Medical Image-Processing Architecture

Brim, Luboš, Haverkort, Boudewijn, Leucker, Martin, van de Pol, Jaco

Year:

2007

Language:

english

File:

PDF, 1.65 MB

english, 2007

46

[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - Formal verification of replication on a distributed data space architecture

Hooman, Jozef, van de Pol, Jaco

Year:

2002

Language:

english

File:

PDF, 759 KB

english, 2002

47

[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Solving scheduling problems by untimed model checking

Wijs, Anton, van de Pol, Jaco, Bortnik, Elena

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

48

[IEEE 2015 Euromicro Conference on Digital System Design (DSD) - Madeira, Portugal (2015.8.26-2015.8.28)] 2015 Euromicro Conference on Digital System Design - Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications

Ahmad, Waheed, Holzenspies, Philip K.F., Stoelinga, Marielle, Pol, Jaco van de

Year:

2015

Language:

english

File:

PDF, 182 KB

english, 2015

49

[ACM Press the 21st ACM SIGPLAN Symposium - Barcelona, Spain (2016.03.12-2016.03.16)] Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 - Multi-core on-the-fly SCC decomposition

Bloemen, Vincent, Laarman, Alfons, van de Pol, Jaco

Year:

2016

Language:

english

File:

PDF, 572 KB

english, 2016

50

[IEEE 2014 14th International Conference on Application of Concurrency to System Design - Tunis La Marsa, Tunisia (2014.6.23-2014.6.27)] 2014 14th International Conference on Application of Concurrency to System Design - Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

Ahmad, Waheed, Groote, Robert de, Holzenspies, Philip K.F., Stoelinga, Marielle, Pol, Jaco van de

Year:

2014

Language:

english

File:

PDF, 540 KB

english, 2014